1. Foundations of software science and computation structures :
پدیدآورنده : FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
